منابع مشابه
Logics of Truth
This paper surveys three recent semantic theories of truth and compares them from the perspective of their underlying logics. In particular, the underlying logic of the Gupta-Herzberger theory is investigated, and an analysis of modal logics of truth arising from this semantic theory is given. / Theories of truth In recent years there has been a revival in the development of semantic theories o...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملSupervaluation Fixed-Point Logics of Truth
Abstract. Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that t...
متن کاملFibring Non-Truth-Functional Logics: Completeness Preservation
Fibring has been shown to be useful for combining logics endowed with truthfunctional semantics. However, the techniques used so far are unable to cope with fibring of logics endowed with non-truth-functional semantics as, for example, paraconsistent logics. The first main contribution of the paper is the development of a suitable abstract notion of logic, that may also encompass systems with n...
متن کاملFuzzy logics with truth hedges revisited
In this paper we build upon previous works of Hájek and Vychodil on the axiomatization of truthstressing and depressing hedges as expansions of BL logic by new unary connectives. They show that their logics are chain-complete, but standard completeness is only proved for the expansions over Gödel logic. We propose weaker axiomatizations that have as main advantages the preservation of standard ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1990
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093635425